Online version
Referenced in SATML conference report [10]